THE DISCONTINUITY PROBLEM

نویسندگان

چکیده

Abstract Matthias Schröder has asked the question whether there is a weakest discontinuous problem in topological version of Weihrauch lattice. Such can be considered as unsolvable problem. We introduce discontinuity , and we show that it reducible exactly to effectively problems defined suitable way. However, which sense this answers Schröder’s sensitively depends on axiomatic framework chosen, positive answer if work Zermelo–Fraenkel set theory with dependent choice axiom determinacy $\mathsf {AD}$ . On other hand, using full choice, one construct are discontinuous, but not so. Hence, exact situation at bottom lattice setting choose. prove our result variant Wadge games for mathematical problems. While existence winning strategy Player II characterizes continuity (as already shown by Nobrega Pauly), I effective By understand condition every either continuous or discontinuous. This notion fairly strong notion, only implied also implies determinacy. close brief discussion generalized notions productivity.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inverse Sturm-Liouville problem with discontinuity conditions

This paper deals with the boundary value problem involving the differential equation begin{equation*}     ell y:=-y''+qy=lambda y,  end{equation*}  subject to the standard boundary conditions along with the following discontinuity  conditions at a point $ain (0,pi)$  begin{equation*}     y(a+0)=a_1 y(a-0),quad y'(a+0)=a_1^{-1}y'(a-0)+a_2 y(a-0), end{equation*} where $q(x),  a_1 , a_2$ are  rea...

متن کامل

the problem of divine hiddenness

این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...

15 صفحه اول

the algorithm for solving the inverse numerical range problem

برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.

15 صفحه اول

inverse sturm-liouville problem with discontinuity conditions

this paper deals with the boundary value problem involving the differential equationbegin{equation*}    ell y:=-y''+qy=lambda y, end{equation*} subject to the standard boundary conditions along with the following discontinuity  conditions at a point $ain (0,pi)$ begin{equation*}    y(a+0)=a_1 y(a-0),quad y'(a+0)=a_1^{-1}y'(a-0)+a_2 y(a-0),end{equation*}where $q(x),  a_1 , a_2$ are  real, $qin l...

متن کامل

A Dirichlet Problem with Free Gradient Discontinuity

We prove the existence of strong solution for Blake & Zisserman functional under Dirichlet boundary condition. The result is obtained by showing partial regularity of weak solutions up to the boundary through blow-up technique and a decay property for bi-harmonic functions in half disk.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Symbolic Logic

سال: 2022

ISSN: ['1943-5886', '0022-4812']

DOI: https://doi.org/10.1017/jsl.2021.106